From df5517b5fda64b0c430756c1cde69cf0e463f34a Mon Sep 17 00:00:00 2001
From: =?utf8?q?St=C3=A9phane=20Glondu?= <glondu@debian.org>
Date: Sun, 12 Oct 2025 11:54:03 +0200
Subject: [PATCH] Switch debian/watch to version 5

---
 debian/watch | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/debian/watch b/debian/watch
index 1cb46cf9..9cdc5d98 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,5 @@
-version=4
-opts=uversionmangle=s/\+/~/ \
-https://caml.inria.fr/pub/distrib/ocaml-([\d\.]+)/ocaml-([^-]+)\.tar\.xz
+Version: 5
+
+Source: https://caml.inria.fr/pub/distrib/ocaml-@ANY_VERSION@/
+Matching-Pattern: ocaml-@ANY_VERSION@\.tar\.xz
+Uversionmangle: s/\+/~/
-- 
2.30.2